Correct by Construction Components Or: Would Nasreddin Use Components?

Current technology is shifting bit by bit from familiar interactive computers to non-stationary physical devices with computing, communication and sensing capabilities. Reacting to environmental dynamic, self-assembly, selfconfiguration, self-repair and other forms of adaptation becomes a mandatory task. Component-based software development is a promising approach to meet the demands of these kinds of settings. However, current development methods used in practice either restrict the notion of components to executable objects – following a more or less traditional software development process -or supporting specific component technologies like Java Beans or COM/DCOM.